one-to-one homomorphism

[數] 一一同態